A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

硫化丁苯橡胶纳观界面耐磨机理及参数影响分析

硫化橡胶因其良好的力学和物理化学性能而被广泛作为摩擦副的基础材料. 本文提出了一种硫化交联算法, 实现了C—C键的硫化互交联和自交联, 构建了硫化丁苯橡胶的分子动力学磨损模型, 从微观摩擦学的角度阐明了硫化交联结构对改善丁苯橡胶磨损性能的机理, 研究了不同界面参数对硫化橡胶微观磨损性能的影响. 结果发现 硫化使丁苯橡胶分子链的界面黏附能力和活动能力更弱, 拉伸和解缠能力更低, 磨损过程中界面累积能量更低, 更不容易脱离橡胶基体, 因此可以表现出更好的摩擦学性能, 更强的抗磨损性能; 随着速度的增大, 硫化橡胶的磨损率降低, 与宏观实验结果一致, 原因是硫化橡胶的原子分布函数和相互作用能随着速度增大而降低, 说明橡胶分子链的黏附能力和活动能力随着速度增加趋弱, 温升更低, 导致较低的磨损率; 压入深度对磨损率的影响规律则呈现相反的结果和趋势.     

Explosive synchronization in a mobile network in the presence of a positive feedback mechanism

Synchronization is a process that describes the coherent dynamics of a large ensemble of interacting units.The study of explosive synchronization transition attracts considerable attention.Here,I report the explosive transition within the framework of a mobile network,while each oscillator is controlled by global-order parameters of the system.Using numerical simulation,I find that the explosive synchronization(ES)transition behavior can be controlled by simply adjusting the fraction of controlled oscillators.The influences of some parameters on explosive synchronization are studied.Moreover,due to the presence of the positive feedback mechanism,I prevent the occurrence of the synchronization of continuous-phase transition and make phase transition of the system a first-order phase transition accompanied by a hysteresis loop.     

Sentinel-2卫星的多光谱轻量级船舶目标检测算法

近年来深度卷积神经网络在可见光船舶检测方面取得了显著的进展，然而，大多数相关研究是通过改进大型的网络结构来提高检测性能，因此加大了对更高计算机性能的需求。此外，可见光图像难以在云、雾、海杂波、黑夜等复杂场景检测到船舶。针对以上问题，提出了一种融合红（red, R）、绿（green, G）、蓝（blue, B）和近红外（NIR）4个波段光谱信息的由粗到精细的轻量型船舶检测算法。与现有的方法中根据光谱特性利用水体检测算法提取水体区域不同之处是该算法是利用改进的水体检测算法来提取船舶候选区域。为获取更准确的候选区域，对船舶、厚云、薄云、平静海面、杂波海面5种场景中4个波段的像素值进行了统计分析，选取近红外大于阈值作为辅助判断，并以其中心点获取候选区域32×32大小的切片，并对切片进行非极大值抑制，由此获得了船舶粗检测结果。随后构建了轻量级LSGFNet网络对船舶候选区域切片进行精细识别。构建的网络融合了1×1卷积提取的波谱特征与3×3的提取几何特征，为防止光谱特征与几何特征的信息在融合时“信息不流通”，在LSGFNet网络中引入了ShuffleNet中的通道打乱机制，并减小了模型结构，与典型的轻量级网络相比具有更好的效果且模型较小。最后，利用Sentinel-2卫星多光谱10 m分辨率数据构建了512×512大小的1 120组数据进行粗检测，以及32×32大小的6 014组数据进行精细网络训练，其中候选区域粗提取的查全率为98.99%，精细识别网络精确度为96.04%，不同场景下的平均精确度为92.98%。实验表明该算法在抑制云层、海浪杂波等干扰的复杂背景下具有较高的检测效率，且训练时间短、计算机性能需求低。     

Mg,N掺杂β-Ga2O3光电性质的第一性原理计算

通过基于密度泛函理论的第一性原理计算,研究了Mg单掺杂、N单掺杂和不同浓度的Mg-N共掺杂β-Ga₂O₃的结构性质、电子性质和光学性质,以期获得性能比较优异的p型β-Ga₂O₃材料。建立了五种模型:Mg单掺杂、N单掺杂、1个Mg-N共掺杂、2个Mg-N共掺杂和3个Mg-N共掺杂β-Ga₂O₃。经过计算,3个Mg-N共掺杂β-Ga₂O₃体系的结构最稳定。此外,在5种模型中,3个Mg-N共掺杂β-Ga₂O₃体系的禁带宽度是最小的,并且N 2p和Mg 3s贡献的占据态抑制了氧空位的形成,从而增加了空穴浓度。因此,3个Mg-N共掺杂β-Ga₂O₃体系表现出优异的p型性质。3个Mg-N共掺杂体系的吸收峰出现明显红移,在太阳盲区的光吸收系数较大,这归因于导带Ga 4s、Ga 4p、Mg 3s向价带O 2p、N 2p的带间电子跃迁。本工作将为p型β-Ga₂O₃日盲光电材料的研究和应用提供理论指导。     

Metamorphic InAs(Sb)/InGaAs/InAlAs nanoheterostructures grown on GaAs for efficient mid-IR emitters

High-efficiency semiconductor lasers and light-emitting diodes operating in the 3–5?μm mid-infrared (mid-IR) spectral range are currently of great demand for a wide variety of applications, in particular, gas sensing, noninvasive medical tests, IR spectroscopy etc. III-V compounds with a lattice constant of about 6.1?Å are traditionally used for this spectral range. The attractive idea to fabricate such emitters on GaAs substrates by using In(Ga,Al)As compounds is restricted by either the minimum operating wavelength of ～8?μm in case of pseudomorphic AlGaAs-based quantum cascade lasers or requires utilization of thick metamorphic In_xAl_1-xAs buffer layers (MBLs) playing a key role in reducing the density of threading dislocations (TDs) in an active region, which otherwise result in a strong decay of the quantum efficiency of such mid-IR emitters. In this review we present the results of careful investigations of employing the convex-graded In_xAl_1-xAs MBLs for fabrication by molecular beam epitaxy on GaAs (001) substrates of In(Ga,Al)As heterostructures with a combined type-II/type-I InSb/InAs/InGaAs quantum well (QW) for efficient mid-IR emitters (3–3.6?μm). The issues of strain relaxation, elastic stress balance, efficiency of radiative and non-radiative recombination at T?=?10–300?K are discussed in relation to molecular beam epitaxy (MBE) growth conditions and designs of the structures. A wide complex of techniques including in-situ reflection high-energy electron diffraction, atomic force microscopy (AFM), scanning and transmission electron microscopies, X-ray diffractometry, reciprocal space mapping, selective area electron diffraction, as well as photoluminescence (PL) and Fourier-transformed infrared spectroscopy was used to study in detail structural and optical properties of the metamorphic QW structures. Optimization of the growth conditions (the substrate temperature, the As₄/III ratio) and elastic strain profiles governed by variation of an inverse step in the In content profile between the MBL and the InAlAs virtual substrate results in decrease in the TD density (down to 3?×?10⁷ cm^?2), increase of the thickness of the low-TD-density near-surface MBL region to 250–300?nm, the extremely low surface roughness with the RMS value of 1.6–2.4?nm, measured by AFM, as well as rather high 3.5?μm-PL intensity at temperatures up to 300?K in such structures. The obtained results indicate that the metamorphic InSb/In(Ga,Al)As QW heterostructures of proper design, grown under the optimum MBE conditions, are very promising for fabricating the efficient mid-IR emitters on a GaAs platform.     

A review of recent advances in catalytic combustion of VOCs on perovskite-type catalysts

Along with the rapid development of industry, VOCs gradually move into the spotlight, and now become a kind of harmful environmental pollutants that cannot be overlooked. This paper introduces the hazards of VOCs and the common catalytic combustion catalysts, noble metal catalysts and non-noble metal catalysts, for the elimination of VOCs. Perovskite catalysts, as one of the non-noble catalysts, play an important role in the field of catalytic combustion in recent years. According to the classification of elements doping in perovskites, the research achievements in the past five years were analyzed and reviewed. In addition, this paper also analyzes and elaborates the reaction kinetics and QSAR/QSPR models for the introduction of structural properties and reaction mechanisms.     

In-chain functionalization through the combination of ring opening copolymerization and oxime “Click” reaction towards X-ray opaque polylactide copolymers

X-ray imaging functionalization of biodegradable polyesters is a great demand and challenge in biomedical applications.In this work,a strategy of in-chain functionalization through the combination of ring opening copolymerization and oxime "Click" postfunctionalization was developed towards X-ray opaque polylactide copolymers.A functionalized cyclic carbonate was first synthesized and used as comonomer of polylactide copolymers,which were subjected to postfunctionalization of oxime "Click" reaction towards iodinated polylactide copolymers.The chemical structure and physical properties of the target products were traced and confirmed.In vitro cytotoxicity evaluation with 3T3-Swiss albino by Alamar blue demonstrated a low cytotoxicity.The X-ray radiopacity was analyzed by Micro-CT and quantified by Hounsfield Units value,which could be tailorable by the feedstock.It is a promising X-ray visible implantable biomaterial in biomedical applications.     

MALDI MSI Reveals the Spatial Distribution of Protein Markers in Tracheobronchial Lymph Nodes and Lung of Pigs after Respiratory Infection

Respiratory infections are a real threat for humans, and therefore the pig model is of interest for studies. As one of a case for studies, Actinobacillus pleuropneumoniae (APP) caused infections and still worries many pig breeders around the world. To better understand the influence of pathogenic effect of APP on a respiratory system—lungs and tracheobronchial lymph nodes (TBLN), we aimed to employ matrix-assisted laser desorption/ionization time-of-flight mass spectrometry imaging (MALDI-TOF MSI). In this study, six pigs were intranasally infected by APP and two were used as non-infected control, and 48 cryosections have been obtained. MALDI-TOF MSI and immunohistochemistry (IHC) were used to study spatial distribution of infectious markers, especially interleukins, in cryosections of porcine tissues of lungs (necrotic area, marginal zone) and tracheobronchial lymph nodes (TBLN) from pigs infected by APP. CD163, interleukin 1β (IL-1β) and a protegrin-4 precursor were successfully detected based on their tryptic fragments. CD163 and IL-1β were confirmed also by IHC. The protegrin-4 precursor was identified by MALDI-TOF/TOF directly on the tissue cryosections. CD163, IL-1β and protegrin-4 precursor were all significantly (p < 0.001) more expressed in necrotic areas of lungs infected by APP than in marginal zone, TBLN and in control lungs.